The Modeling of Velocity Enhancement in Polymer Flooding

In single-phase polymer flooding experiments it has repeatedly been observed that the average velocity of the polymer molecules is higher than the average velocity of the water molecules. This effect is incorporated in many conventional Enhanced Oil Recovery (EOR) simulators by the introduction of a constant velocity enhancement factor. In this paper we show that, in absence of dispersion, a constant enhancement factor in the mathematical model for two-phase polymer flow (Buckley--Leverett displacement) leads to ill-posedness of the model equations. We propose a saturation dependent enhancement factor, derived from a model based on percolation concepts, for which this problem does not occur.     

周期单元中相对论Boltzmann方程初值问题整体解的存在性

本文证明了周期单元中带有某些硬相互作用的相对论Ｂｏｌｔｚｍａｎｎ方程初值问题在初值满足质量、能量和熵有限的条件下具有一个整体温和解．     

Identification of nonlinear elliptic equations

An optimization theoretic approach and algorithm for the estimation of state-dependent coefficients in nonlinear elliptic equation is presented. It is based on a splitting method combined with convex analysis techniques. Convergence of the algorithm is established and numerical examples are included.The research of K. Kunisch was supported in part by a grant from the Bundesministerium für Wissenschaft und Forschung, Austria.     

Some non-local problems for the parabolic-hyperbolic type equation with non-characteristic line of changing type

In this work two non-local problems for the parabolic-hyperbolic type equation with non-characteristic line of changing type are considered. Unique solvability of these problems is proven. The uniqueness of the solution is proven by the method of energy integrals and the existence is proven by the method of integral equations.     

Monotonicity criteria for difference schemes designed for hyperbolic equations

Previously formulated monotonicity criteria for explicit two-level difference schemes designed for hyperbolic equations (S.K. Godunov’s, A. Harten’s (TVD schemes), characteristic criteria) are extended to multileveled, including implicit, stencils. The characteristic monotonicity criterion is used to develop a universal algorithm for constructing high-order accurate nonlinear monotone schemes (for an arbitrary form of the desired solution) based on their analysis in the space of grid functions. Several new fourth-to-third-order accurate monotone difference schemes on a compact three-level stencil and nonexpanding (three-point) stencils are proposed for an extended system, which ensures their monotonicity for both the desired function and its derivatives. The difference schemes are tested using the characteristic monotonicity criterion and are extended to systems of hyperbolic equations.     

A constructive characterization of the split closure of a mixed integer linear program

Two independent proofs of the polyhedrality of the split closure of mixed integer linear program have been previously presented. Unfortunately neither of these proofs is constructive. In this paper, we present a constructive version of this proof. We also show that split cuts dominate a family of inequalities introduced by Köppe and Weismantel.     

Continuous dependence on the geometry and on the initial time for a class of parabolic problems I

In this paper, we investigate the continuous dependence on the geometry and the initial time for solutions u( x , t) of a class of nonlinear parabolic initial‐boundary value problems. Copyright © 2007 John Wiley & Sons, Ltd.     

Searching for extensible Korobov rules

Extensible lattice sequences have been proposed and studied in [F.J. Hickernell, H.S. Hong, Computing multivariate normal probabilities using rank-1 lattice sequences, in: G.H. Golub, S.H. Lui, F.T. Luk, R.J. Plemmons (Eds.), Proceedings of the Workshop on Scientific Computing (Hong Kong), Singapore, Springer, Berlin, 1997, pp. 209–215; F.J. Hickernell, H.S. Hong, P. L’Ecuyer, C. Lemieux, Extensible lattice sequences for quasi-Monte Carlo quadrature, SIAM J. Sci. Comput. 22 (2001) 1117–1138; F.J. Hickernell, H.Niederreiter, The existence of good extensible rank-1 lattices, J. Complexity 19 (2003) 286–300]. For the special case of extensible Korobov sequences, parameters can be found in [F.J. Hickernell, H.S. Hong, P. L’Ecuyer, C.Lemieux, Extensible lattice sequences for quasi-Monte Carlo quadrature, SIAM J. Sci. Comput. 22 (2001) 1117–1138]. The searches made to obtain these parameters were based on quality measures that look at several projections of the lattice. Because it is often the case in practice that low-dimensional projections are very important, it is of interest to find parameters for these sequences based on measures that look more closely at these projections. In this paper, we prove the existence of “good” extensible Korobov rules with respect to a quality measure that considers two-dimensional projections. We also report results of experiments made on different problems where the newly obtained parameters compare favorably with those given in [F.J. Hickernell, H.S. Hong, P. L’Ecuyer, C. Lemieux, Extensible lattice sequences for quasi-Monte Carlo quadrature, SIAM J. Sci. Comput. 22 (2001) 1117–1138].     

A complete boundary integral formulation for compressible Navier–Stokes equations

A complete boundary integral formulation for compressible Navier–Stokes equations with time discretization by operator splitting is developed using the fundamental solutions of the Helmholtz operator equation with different order. The numerical results for wall pressure and wall skin friction of two‐dimensional compressible laminar viscous flow around airfoils are in good agreement with field numerical methods. Copyright © 2004 John Wiley & Sons, Ltd.     

On Pairs of Diagonal Quintic Forms

We demonstrate that a pair of additive quintic equations in at least 34 variables has a nontrivial integral solution, subject only to an 11-adic solubility hypothesis. This is achieved by an application of the Hardy–Littlewood method, for which we require a sharp estimate for a 33.998th moment of quintic exponential sums. We are able to employ p-adic iteration in a form that allows the estimation of such a mean value over a complete unit square, thereby providing an approach that is technically simpler than those of previous workers and flexible enough to be applied to related problems.